Method and apparatus for establishing shared key

ABSTRACT

A method for establishing a shared key, includes: determining, by a first device, a braid group Bn having an index n as a public key; selecting, by the first device, a plurality of elements from the braid group Bn to generate a subgroup P, and selecting an element x from the subgroup P as a private key; receiving, by the first device, {y−1σ1y,y−1σ2y, . . . , y−1σn−1y} sent from a second device; sending, by the first device, {x−1σ1x,x−1σ2x, . . . , x−1σn−1x} calculated according to the first private key and each element of the public key, to the second device, to allow the second device to replace all occurrences of σk in the second private key y with x−σkx to obtain fy(x−1σ1x,x−1σ2x, . . . , x−1σn−1x)=x−1yx and to obtain the shared key x−1y−1xy by calculation; and replacing all σk in the first private key of the first device with y−1σky to obtain fx(y−1σ1yy−1σ2y, . . . , y−1σn−1y)=y−1xy, and calculating to obtain the shared key x−1y−1xy.

CROSS-REFERENCE TO RELATED APPLICATIONS

This application is the International Application No. PCT/CN2020/088710 for entry into US national phase with an international filing date of May 6, 2020, designating US, now pending, the content of which is incorporated herein by reference in its entirety.

TECHNICAL FIELD

The present application relates to the technical field of information security, and more particularly to a method and an apparatus for establishing a shared key.

BACKGROUND

In classical public key cryptography algorithms, as a security guarantee, the actual computational difficulties will be greatly reduced with the improvement in the computer performance. In particular, a quantum computing system is based on the famous Shor's quantum algorithm proposed by Shor in 1997, which will perform calculation of integer factoring and discrete logarithm for large integers in the polynomial time, and Google and IBM have respectively declared that the quantum computing systems they designed have been implemented or are being implemented. This means that the public key cryptographic protocol based on RSA, ECC, ElGamal and other algorithms will no longer be secure.

On the other hand, regarding the key exchange protocol established based on the conjugacy problem of elements in the braid group proposed by Ansheld et al., people have successively discovered attack schemes, such as length-based attacks, linear representation attacks, and Super-Summit-set attacks. Therefore, the corresponding public key cryptosystem also has security risks.

TECHNICAL PROBLEMS

Embodiments of the present application provide a method and an apparatus for establishing a shared key, which aim at solving the problem that the existing public key cryptography has security risk, and therefore provide the method for establishing for a shared key that is free of various attacks.

TECHNCIAL SOLUTIONS

In order to solve the above described technical problems, technical solutions proposed by embodiments of the present application are as follows:

A first aspect provides a method for establishing a shared key. The method comprises: determining, by a first device, a braid group B_(n) having an index n as a public key; where B_(n)=<σ₁, σ₂, . . . , σ_(n−1)|σ_(i)σ_(j)=σ_(j)σ_(i), |i-j|≥2, σ_(i)σ_(i+1)σ_(i)=σ_(i+1)σ_(i)σ_(i+1), 1≤i≤n−2>, each element in the braid group B_(n) is represented by a word over a generating set {σ₁, σ₂, . . . , σ_(n−1)} of B_(n), and the word has a unique normal form, n≥6, and n is an integer; selecting, by the first device, a plurality of elements from the braid group B_(n) to generate a subgroup P, and selecting an element x from the subgroup P as a private key, where x is defined as a word x=f_(x)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁,σ₂, . . . , σ_(n−1)}; receiving, by the first device, {y⁻1σ₁y,y⁻¹σy, . . . , y⁻¹σ_(n−1)y} sent from a second device, where the second device is a device configured for establishing a shared key together with the first device, a plurality of elements are selected by the second device from the braid group B_(n) to generate a subgroup Q, an element y is selected from the subgroup Q as a second private key, y⁻¹σ_(k)y is calculated according to the second private key and each element of the public key, and where y is defined as a word y=f_(y)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁,σ₂, . . . ,σ_(n−1)}, where k=1,2, . . . , n−1; sending, by the first device, {x⁻1σ₁x,x⁻¹σx, . . . , x⁻¹σ_(n−1)x} which is calculated according to the first private key and each element of the public key, to the second device, to allow the second device to replace all occurrences of σ_(k) in the second private key y with x⁻¹σ_(k)x to obtain f_(y)(x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x)=x⁻¹yx and to obtain the shared key x⁻¹y⁻¹xy by calculation; and replacing all occurrences of σ_(k) in the first private key of the first device with y⁻¹σ_(k)y to obtain f_(x)(y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y)=y⁻¹xy, and calculating to obtain the shared key x⁻¹y⁻¹xy.

In an embodiment, the step of selecting, by the first device, a plurality of elements from the braid group B_(n) to generate a subgroup P comprises: defining that the braid group B_(n) comprises a subgroup L_(u), with the subgroup L_(u) being isomorphic to a direct product of two free groups of rank 2, and being defined by L_(u)=<σ_(u) ², σ_(u+1) ²,σ_(u+3) ², σ_(u+4) ²>, where u=1, 2, . . . , n−5; generating a subgroup M_(u) according to elements of a subgroup L_(u), where M_(u)=<σ_(u) ², σ_(u+3) ²,σ_(u+1) ², σ_(u+4) ²,S_(uv),T_(uv)>; v=1, 2, . . . , 27; and selecting one of the subgroup M_(u) as the subgroup P.

In an embodiment, the subgroup P and the subgroup Q are both Mihailova subgroups having unsolvable subgroup membership problems.

A second aspect provides an apparatus for establishing a shared key. The apparatus is applied to a first device and comprises: a processing unit, and a transceiver unit. The processing unit is configured for determining a braid group B_(n) having an index n as a public key, where B_(n)=<σ₁, σ₂, . . . , σ_(n−1)|σ_(i)σ_(j)=σ_(j)σ_(i), |i-j|≥2, σ_(i)σ_(i+1)σ_(i)=σ_(i+1)σ_(i)σ_(i+1), 1≤i≤n−2>, each element in the braid group B_(n) is represented by a word over a generating set {σ₁, σ₂, . . . , σ_(n−1)} of B_(n), and the word has a unique normal form, n≥6, and n is an integer. The processing unit is further configured for selecting a plurality of elements from the braid group B_(n) to generate a subgroup P, and selecting an element x from the subgroup P as a private key, where x is defined as a word x=f_(x)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)}. The transceiver unit is configured for receiving {y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y} sent from a second device, where the second device is a device configured for establishing a shared key together with the first device, a plurality of elements are selected by the second device from the braid group B_(n) to generate a subgroup Q, an element y is selected from the subgroup Q as a second private key, y⁻¹σ_(k)y is calculated according to the second private key and each element of the public key, and where y is defined as a word y=f_(y)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)} , where k=1,2, . . . , n−1. The transceiver is configured for sending (x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x), which is calculated according to the first private key and each element of the public key, to the second device, to allow the second device to replace all occurrences of σ_(k) in the second private key y with x⁻¹σ_(k)x to obtain f_(y)(x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x)=x⁻¹yx and to obtain the shared key x⁻¹y⁻¹xy by calculation. The processing unit is further configured for replacing all occurrences of σ_(k) in the first private key of the first device with y⁻¹σ_(k)y to obtain f_(x)(y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y)=y⁻¹xy, and calculating to obtain the shared key x⁻¹y⁻¹xy.

In an embodiment, the processor is configured for: selecting a plurality of elements from the braid group Bn to generate a subgroup P, comprising:

defining that the braid group Bn comprises a subgroup L_(u), with the subgroup L_(u) being isomorphic to a direct product of two free groups of rank 2, and being defined by L_(u)=<σ_(u) ², σ_(u+1) ², σ_(u+3) ², σ_(u+4) ²>, where u=1, 2, . . . , n−5;

generating a subgroup M_(u) according to elements of a subgroup L_(u), where M_(u)=<σ_(u) ², σ_(u+3) ²,σ_(u+1) ², σ_(u+4) ², S_(uv),T_(uv)>; v=1, 2, . . . , 27; and

selecting, by the processing unit, one of the subgroup M_(u) as the subgroup P.

In the 27 relations for S_(uv), σ_(u), is replaced by σ_(u+3), and σ_(u+1) is replaced by σ_(u+4), to obtain corresponding 27 relations for T_(uv).

A third aspect provides a computer device, comprising: a memory, a processor, and a computer program stored in the memory and configured for running on the processor. The processor is configured for implementing the following steps when executing the computer program:

determining, by a first device, a braid group B_(n) having an index n as a public key;

where B_(n)=<σ₁, σ₂, . . . , σ_(n−1)|σ_(i)σ_(j)=σ_(j)σ_(i), |i-j|≥2, σ_(i)σ_(i+1)σ_(i)=σ_(i+1)σ_(i)σ_(i+1), 1≤i≤n−2>, each element in the braid group B_(n) is represented by a word over a generating set {σ₁, σ₂, . . . , σ_(n−1)} of B_(n), and the word has a unique normal form, n≥6, and n is an integer;

selecting, by the first device, a plurality of elements from the braid group B_(n) to generate a subgroup P, and selecting an element x from the subgroup P as a private key, wherein x is defined as a word x=f_(x)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)};

receiving, by the first device, {y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y} sent from a second device, where the second device is a device configured for establishing a shared key together with the first device, a plurality of elements are selected by the second device from the braid group B_(n) to generate a subgroup Q, an element y is selected from the subgroup Q as a second private key, y⁻¹σ_(k)y is calculated according to the second private key and each element of the public key, and wherein y is defined as a word y=f_(y)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)}, where k=1,2, . . . , n−1;

sending, by the first device, {x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x}, which is calculated according to the first private key and each element of the public key, to the second device, to allow the second device to replace all occurrences of σ_(k) in the second private key y with x⁻¹σ_(k)x to obtain f_(y)(x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x)=x⁻¹yx, and to obtain the shared key x⁻¹y⁻¹xy by calculation; and shared key x⁻¹y⁻¹xy by calculation; and

replacing all occurrences of σ_(k) in the first private key of the first device with y⁻¹σ_(k)y to obtain f_(x)(y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y)=y⁻¹xy, and calculating to obtain the shared key x⁻¹y⁻¹xy.

A fourth aspect provides an apparatus for establishing a shared key, comprising: at least one processor and an interface circuit. The interface circuit is configured for allowing the at least one processor to acquire a program or a command from at least one processor. The at least one processor is configured for executing the program or the command such that the apparatus for establishing a shared key executes the method according to any embodiment of the first aspect.

A fifth aspect provides a terminal device, comprising the apparatus for establishing the shared key according to the fourth aspect.

A sixth aspect provides a computer program product, comprising a computer program which is configured for implementing the method according to any embodiment of the first aspect when being executed by the processor.

A sixth aspect provides a chip system, being applied to a lidar. The chip system comprises: one or more interface circuits and one or more processors. The interface circuits and the processors are interconnected via wires; and the processors are configured for executing the method according to any embodiment of the first aspect.

An eighth aspect provides a computer-readable storage medium, storing a computer program. The computer program is configured for implementing the method according to any embodiment of the first aspect when being executed by the processor.

ADVANTAGES

Advantages of the method for establishing a shared key according to the above embodiments of the application are summarized as follows: the braid group B_(n) with the index n is determined by the first device and the second device as the public keys of both parties. A subgroup is selected from the braid group B_(n) by each of the first device and the second device, and one element is selected by each of the first device and the second device from the subgroup as the private key thereof. Then the respective private key and each element of the public key are conjugated, the respective conjugate results of both parties are sent to each other, and the shared key is calculated according to the conjugate results. Since the introduced subgroup membership problem of is unsolvable, the security of the method for establishing the shared key is fully proven theoretically, and such method is free of various attacks, such as quantum computing attacks.

BRIEF DESCRIPTION OF THE DRAWINGS

In order to more clearly illustrate the technical solutions in the embodiments of the present application, the drawings that need to be used in the description of the embodiments or the prior art will be briefly described hereinbelow. Obviously, the accompanying drawings in the following description are only some embodiments of the present application. For those skilled in the art, other drawings can be obtained based on these drawings without creative work.

FIG. 1 is an application scenario view provided by an embodiment of the present application;

FIG. 2 is an interaction diagram of a method for establishing a shared key provided by an embodiment of the present application;

FIG. 3 is a diagram of an apparatus for establishing a shared key provided by an embodiment of the present application; and

FIG. 4 is a structural diagram of a computer device provided by an embodiment of the present application.

DETAILED DESCRIPTION OF THE EMBODIMENTS

In order to make the purpose, technical solutions, and advantages of the present application clearer, the present application is further describes in detail in combination with the following figures and embodiments. It should be understood that the specific embodiments described herein are only used to explain the present application, rather than limiting the present application.

The method for establishing a shared key provided by an embodiment of the present application can be applied to computer devices. As shown in FIG. 1, a shared key is established between the computer device 1 and the computer device 2.

The computer device 1 includes: a memory, a processor, and a computer program that is stored in the memory and configured to run on the processor. The processor implements the above method for establishing a shared key when executing the computer program.

In some embodiments, the memory may be an internal storage unit of the computer device 1, such as a hard disk or a memory of the computer device 1. In other embodiments, the memory may also be an external storage device of the computer device 1, such as a plug-in hard disk, a smart media card (SMC), a secure digital (SD) card, or a flash card, equipped on the computer device 1. The memory may also include both an internal storage unit of the computer device 1 and an external storage device. The memory is used to store an operating system, an application program, a boot loader, data, and other programs, such as a program code of a computer program. The memory can also be used to temporarily store data that has been output or will be output.

The processor may be a central processing unit (CPU), the processor may also be other general processors, digital signal processors (DSP), application specific integrated circuits (ASIC), field programmable gate array (FPGA), or other programmable logic devices, discrete gates, or transistor logic devices, discrete hardware components, etc. The general-purpose processor may be a microprocessor or the processor may also be any conventional processor or the like.

It can be understood that the structure illustrated in the embodiments of the present application does not constitute a specific limitation on the computer device 1. In other embodiments, the computer device 1 may include more or less parts than those shown in the figures, or may be combined certain parts, or be split into some parts, or be configured with different parts. The illustrated components can be implemented as a hardware, a software, or a combination of the software and the hardware. The structure of the computer device 2 and the structure of the computer device 1 may be the same, and will not be repeated here.

In the prior art, on the one hand, because quantum computing systems have been implemented or are being implemented, public key cryptographic protocols based on algorithms such as RSA, ECC, and ElGamal will no longer be secure. On the other hand, regarding establishment of a key exchange protocol for the conjugation problem of braid group-based elements proposed by Ansheld et al., attack schemes, such as length-based attacks, linear representation attacks, and Super-Summit-set attacks, have been successively discovered. Therefore, the corresponding public key cryptosystem also has security risks.

In view of this, the present application provides a method for establishing a shared key. Since the introduced membership problem of the subgroup is unsolvable, the security of the established shared key method has been fully proven theoretically, against various attacks such as quantum computing attacks.

The embodiments of the present application will be described below in combination with the drawings in the embodiments of the present application.

The present application provides a method for establishing a shared key, which can be applied to the computer device 1 or the computer device 2 in FIG. 1. The computer device 1 serves as the first device when executing the method, and the computer device 2 serves as the second device; or alternatively, the computer device 2 serves as the first device when executing the method, and the computer device 1 serves as the second device.

As shown in FIG. 2, the method comprises the following steps:

S21, a first device determines a braid group B_(n) having an index n as a public key;

where B_(n)=<σ₁, σ₂, . . . , σ_(n−1)|σ_(i)σ_(j)=σ_(j)σ_(i), |i-j|≥2, σ_(i)σ_(i+1)σ_(i)=σ_(i+1)σ_(i)σ_(i+1), 1≤i≤n−2>, each element in the braid group B_(n) is represented by a word over a generating set {σ₁, σ₂, . . . , σ_(n−1)} of B_(n), and the word has a unique normal form, n≥6, and n is an integer;

It should be noted that the product operation and inversion operation of the group based on the normal form are effectively computable.

S22, a second device determines a braid group B_(n) having the index n as the public key;

The second device is a device configured for establishing the shared key with the first device, and the pubic key determined by the second device is the same as that determined by the first device.

S23, the first device selects a plurality of elements from the braid group B_(n) to generate a subgroup P, and selects an element x from the subgroup P as a private key, where x is defined as a word x=f_(x)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)};

where x is a product of a power (integral exponent) of σ₁, σ₂, . . . , σ_(n−1), and can be represented as follows: x=f_(x)(σ₁, σ₂, . . . , σ_(n−1)).

Optionally, the step of selecting, by the first device, a plurality of elements from the braid group B_(n) to generate a subgroup P comprises:

defining that the braid group B_(n) comprises a subgroup L_(u) isomorphic to F₂×F₂, that is, a subgroup L_(u) which is isomorphic to a direct product of two free groups of rank 2 and generated from σ_(u) ², σ_(u+1) ², σ_(u+3) ², σ_(u+4) ², and is defined by L_(u)=<σ_(u) ², σ_(u+1) ², σ_(u+3) ², σ_(u+4) ²>, where u=1, 2, . . . , n−5; and

generating a subgroup M_(u) according to elements of a subgroup L_(u), where M_(u)=<σ_(u) ², σ_(u+3) ², σ_(u+1) ², σ_(u+4) ², S_(uv), T_(uv)>; v=1, 2, . . . , 27; and

selecting one of the subgroup M_(u) as the subgroup P.

When u=1, 2, . . . , n−5, the 27 relations for S_(uv) are as follows:

S_(u, 1):  (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻¹⁴  σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴S_(u.2):  (σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²  σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴S_(u, 3):  (σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²  σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶

  S_(u, 4):  (σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²  σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸  S_(u, 5):  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴  σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰  S_(u, 6):  (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶  σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ?)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ?σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²?indicates text missing or illegible when filed

  S_(u, 7) :  (σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²  σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ?σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ?σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²?σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴  S_(u, 8) :  (σ_(i + 1)⁻⁴σ?σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ?(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ?σ_(i + 1)⁴σ?σ_(i + 1)⁻²  σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ?σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ?σ_(i + 1)⁻⁴σ?σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ?σ_(i + 1)⁴σ?σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ?  S_(u, 9) :  (σ_(i + 1)⁻⁴σ?σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ?σ_(i + 1)⁴σ?σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ?σ_(i + 1)⁴σ_(i)⁻¹⁶    σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ?)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ?σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸?indicates text missing or illegible when filed

S_(u, 10):  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹  σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰S_(u, 11):  (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²  σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹  σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²S_(u, 12):  (σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴  σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹  σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴

S u , 13 : ( σ i + 1 - 4 ⁢ σ - 6 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 6 ⁢ σ i + 1 4 ⁢ σ - 6 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 6 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢   σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢σ i + 1 2 ⁢ σ 18 ) - 1 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ⁢ σ i + 1 - 4 ⁢ σ - 6 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 6 ⁢ σ i + 1 4 ⁢ σ - 6 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 6 ⁢ ⁢ S u , 14 : ( σ i + 1 - 4 ⁢ σ - 8 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 8 ⁢ σ i + 1 4 ⁢ σ - 8 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 8 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ - 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ) ⁢ σ i + 1 - 4 ⁢ σ - 10 ) - 1 ⁢σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ ⁢ σ i + 1 2 ⁢ σ - 8 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 2 ⁢ ⁢ σ i + 1 - 2 ⁢ ⁢ σ 8 ⁢ ⁢ σ i + 1 4 ⁢ ⁢ σ - 8 ⁢ ⁢   σ i + 1 - 2 ⁢ ⁢ σ - 2 ⁢ ⁢ σ i + 1 2 ⁢ σ 8 ⁢ ⁢ S u , 15 : ( σ i + 1 - 4 ⁢ σ - 10 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 10 ⁢ σ i + 1 4 ⁢ σ - 2 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 10 ⁢   ( σ i + 1 - 4 ⁢ σ - 16 ⁢σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢σ i + 1 2 ⁢ σ 16 ) 16 ) - 1 ⁢ σ i + 1 - 2 ⁢ σ 10 ⁢ σ i + 1 - 4 ⁢ σ - 16 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 10 ⁢ σ i + 1 4 ⁢ σ - 10 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2

S_(u, 16):  (σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ?  σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ?  σ_(i)⁻¹⁴  σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ?)⁻¹σ_(i + 1)⁻⁴σ?  σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ?σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ?σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰S_(u, 17):  (σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ?σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰σ_(i + 1)⁻⁴σ?σ_(i + 1)²σ_(i)²σ?σ?σ_(i + 1)⁴σ_(i)⁻¹⁶  σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ?)⁻¹σ?σ?σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ?σ?σ?σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰?indicates text missing or illegible when filed

S_(u, 18) : (σ_(i + 1)⁻⁴σ_(i)⁻¹²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹²σ_(i + 1)⁴σ_(i)⁻¹²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹²(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³(σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰)³(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)⁹)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹²σ_(i + 1)⁴σ_(i)⁻¹²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹²)³)(σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰)⁹(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³)σ_(i + 1)⁻⁴σ_(i)⁻¹²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹²σ_(i + 1)⁴σ_(i)⁻¹²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹² S u , 19 : ( σ i + 1 - 4 ⁢ σ i - 18 ⁢ σ i + 1 2 ⁢ σ i 2 ⁢ σ i + 1 - 2 ⁢ σ i 18 ⁢ σ i + 1 4 ⁢ σ i - 18 ⁢ σ i + 1 - 2 ⁢ σ i - 2 ⁢ σ i + 1 2 ⁢ σ i 18 ⁢ σ i + 1 - 4 ⁢ σ i - 14 ⁢ σ i + 1 2 ⁢ σ i 2 ⁢ σ i + 1 - 2 ⁢ σ i 14 ⁢ σ i + 1 4 ⁢ σ i - 14 ⁢ σ i + 1 - 2 ⁢ σ i - 2 ⁢ σ i + 1 2 ⁢ σ i 14 ⁢ σ i + 1 - 4 ⁢ σ i - 6 ⁢ σ i + 1 2 ⁢ σ i 2 ⁢ σ i + 1 - 2 ⁢ σ i 6 ⁢ σ i + 1 4 ⁢ σ i - 6 ⁢ σ i + 1 - 2 ⁢ σ i - 2 ⁢σ i + 1 2 ⁢ σ i 6 ⁢ σ i + 1 - 4 ⁢ σ i - 2 ⁢ σ i + 1 2 ⁢ σ i 2 ⁢ σ i + 1 - 2 ⁢ σ i 2 ⁢ σ i + 1 4 ⁢ σ i - 2 ⁢ σ i + 1 - 2 ⁢ σ i - 2 ⁢ σ i + 1 2 ⁢ σ i 2 ⁢ σ i + 1 - 4 ⁢ σ i - 16 ⁢ σ i 2 ⁢ σ i + 1 - 2 ⁢ σ i 16 ⁢ σ i + 1 4 ⁢ σ i - 16 ⁢ σ i + 1 - 2 ⁢ σ i - 2 ⁢ σ i + 1 2 ⁢ σ i 16 ) - 1 ⁢ σ i + 1 - 4 ⁢ σ i - 14 ⁢ σ i + 1 2 ⁢ σ i 2 ⁢ σ i + 1 - 2 ⁢ σ i 14 ⁢ σ i + 1 4 ⁢ σ i - 14 ⁢ σ i + 1 - 2 ⁢ σ i - 2 ⁢σ i + 1 2 ⁢ σ i 14 ⁢ σ i + 1 - 4 ⁢ σ i - 2 ⁢ σ i + 1 2 ⁢ σ i 2 ⁢ σ i + 1 - 2 ⁢ σ i 2 ⁢ σ i + 1 4 ⁢ σ i - 2 ⁢ i + 1 - 2 ⁢ σ i - 2 ⁢ σ i + 1 2 ⁢ σ i 2 ⁢ σ i + 1 - 4 ⁢ σ i - 6 ⁢ σ i + 1 2 ⁢ σ i 2 ⁢ σ i + 1 - 2 ⁢ σ i 6 ⁢ σ i + 1 4 ⁢ σ i - 6 ⁢σ i + 1 - 2 ⁢ σ i - 2 ⁢ σ i + 1 2 ⁢ σ i 6 ⁢ σ i + 1 - 4 ⁢ σ i - 16 ⁢ σ i + 1 2 ⁢σ i 2 ⁢ σ i + 1 - 2 ⁢ σ i 16 ⁢ σ i + 1 4 ⁢ σ i - 16 ⁢ σ i + 1 - 2 ⁢ σ i - 2 ⁢ σ i + 1 2 ⁢ σ i 16 ⁢ σ i + 1 - 4 ⁢ σ i - 18 ⁢ σ i + 1 2 ⁢ σ i 2 ⁢ σ i + 1 - 2 ⁢ σ i 18 ⁢ σ i + 1 4 ⁢ σ i - 18 ⁢ σ i + 1 - 2 ⁢ σ i - 2 ⁢ σ i + 1 2 ⁢ σ i 18

S_(u, 20):(σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)²σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²  σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)²)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)²σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)²σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸S_(u, 21):  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)³σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶  σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)³)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)³σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)³σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸

S u , 22 : ( σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ⁢   ( σ i + 1 - 4 ⁢ σ - 14 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 14 ⁢ σ i + 1 4 ⁢ σ - 14 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 14 ) 4 ⁢ σ i + 1 - 4 ⁢ σ - 8 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 8 ⁢ σ i + 1 4 ⁢ σ - 8 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 8 ⁢ σ i + 1 - 4 ⁢ σ - 4 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 4 ⁢ σ i + 1 4 ⁢ σ - 4 ⁢   σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 4 ( σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢     σ 16 ) 4 ) - 1 ⁢ ) ⁢ ⁢   ( σ i + 1 - 4 ⁢ σ - 14 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢σ 14 ⁢ σ i + 1 4 ⁢ σ - 14 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 14 ) 4 ⁢ σ i + 1 - 4 ⁢ σ - 4 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 4 ⁢ σ i + 1 4 ⁢ σ - 4 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 4 ⁢ σ i + 1 - 4 ⁢ σ - 8 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 8 ⁢ σ i + 1 4 ⁢ σ - 8 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 8 ⁡ ( σ i + 1 - 4 ⁢ σ - 16 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 16 ) 4 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢σ 18 ⁢ ⁢ S u , 23 : ( σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ⁢   ( σ i + 1 - 4 ⁢ σ - 14 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 14 ⁢ σ i + 1 4 ⁢ σ - 14 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 14 ) 4 ⁢ σ i + 1 - 4 ⁢ σ - 8 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 8 ⁢ σ i + 1 4 ⁢ σ - 8 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 8 ⁢ σ i + 1 - 4 ⁢ σ - 4 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 4 ⁢ σ i + 1 4 ⁢ σ - 4 ⁢   σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 4 ( σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢    σ 16 ) 4 ) - 1 ⁢ ) ⁢   ( σ i + 1 - 4 ⁢ σ - 14 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 14 ⁢ σ i + 1 4 ⁢ σ - 14 ⁢   σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 14 ) 4 ⁢ ⁢ σ i + 1 - 4 ⁢ ⁢ σ - 4 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 2 ⁢   ⁢ σ i + 1 - 2 ⁢ ⁢ σ 4 ⁢ ⁢ σ i + 1 4 ⁢ ⁢ σ - 4 ⁢ ⁢   ⁢ σ i + 1 - 2 ⁢ ⁢ σ - 2 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 4 ⁢ ⁢   σ i + 1 - 4 ⁢ ⁢   σ - 8 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 2 ⁢ ⁢ σ i + 1 - 2 ⁢ ⁢ σ 8 ⁢ ⁢ σ i + 1 4 ⁢ ⁢     σ - 8 ⁢ ⁢ σ i + 1 - 2 ⁢ ⁢   σ - 2 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 8 ( ⁢ σ i + 1 - 4 ⁢ σ - 16 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢   σ i + 1 2 ⁢ σ 16 ) 4 ⁢ ⁢ σ i + 1 - 4 ⁢ ⁢ σ - 18 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 2 ⁢ ⁢ σ i + 1 - 2 ⁢⁢σ 18 ⁢ ⁢ σ i + 1 4 ⁢ ⁢ σ - 18 ⁢ ⁢ σ i + 1 - 2 ⁢ ⁢ σ - 2 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 18 ⁢ ⁢ S u , 24 : ( σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ⁢   ( σ i + 1 - 4 ⁢ σ - 14 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 14 ⁢ σ i + 1 4 ⁢ σ - 14 ⁢   σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 14 ) 4 ⁢ ⁢ σ i + 1 - 4 ⁢ ⁢ σ - 8 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 2 ⁢ ⁢ σ i + 1 - 2 ⁢ ⁢ σ 8 ⁢ ⁢   σ i + 1 4 ⁢   ⁢ σ - 8 ⁢ ⁢ σ i + 1 - 2 ⁢ ⁢ σ - 2 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 8 ⁢ ⁢ σ i + 1 - 4 ⁢ ⁢ σ - 4 ⁢ ⁢ σ i + 1 2 ⁢ σ 2 ⁢ ⁢ σ i + 1 - 2 ⁢ σ 4 ⁢ σ i + 1 4 ⁢σ - 4 ⁢   σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 4 ( σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢   σ i + 1 2 ⁢   σ 16 ) 4 ) - 1 ⁢ ) ⁢ ⁢   ( σ i + 1 - 4 ⁢ σ - 14 ⁢   σ i + 1 2 ⁢ σ 2 ⁢σ i + 1 - 2 ⁢ σ 14 ⁢ σ i + 1 4 ⁢ σ - 14 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 14 ) 4 ⁢ ⁢ σ i + 1 - 4 ⁢ ⁢ σ - 4 ⁢ ⁢ σ i + 1 2 ⁢ ⁢   σ 2 ⁢ ⁢ σ i + 1 - 2 ⁢ ⁢ σ 4 ⁢ ⁢ σ i + 1 4 ⁢ ⁢ σ - 4 ⁢ ⁢ σ i + 1 - 2 ⁢   ⁢ σ - 2 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 4 ⁢ ⁢ σ i + 1 - 4 ⁢ ⁢σ - 8 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 2 ⁢ ⁢ σ i + 1 - 2 ⁢ ⁢   σ 8 ⁢ ⁢ σ i + 1 4 ⁢ ⁢ σ - 8 ⁢ ⁢     σ i + 1 - 2 ⁢ ⁢ σ - 2 ⁢ ⁢ σ i + 1 2 ⁢ ⁢   σ 8 ( ⁢ σ i + 1 - 4 ⁢ ⁢ σ - 16 ⁢ σ i + 1 2 ⁢ σ 2 ⁢   σ i + 1 - 2 ⁢ σ 16 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢   σ 16 ) 4 ⁢ ⁢ σ i + 1 - 4 ⁢ ⁢ σ - 18 ⁢ ⁢   σ i + 1 2 ⁢ ⁢ σ 2 ⁢ ⁢ σ i + 1 - 2 ⁢ ⁢ σ 18 ⁢ ⁢ σ i + 1 4 ⁢ ⁢ σ - 18 ⁢ ⁢ σ i + 1 - 2 ⁢ ⁢ σ - 2 ⁢ ⁢ σ i + 1 2 ⁢ ⁢ σ 18

S_(u, 25):  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁷σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²  σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁷)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁷σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁷σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸S_(u, 26):  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁸(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²  σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁸)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸

S_(u, 27):  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁹  (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁹)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁹σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸

In the 27 relations for S_(uv), σ_(u) is replaced by σ_(u+3), and σ_(u+1) is replaced by σ_(u+4), to obtain corresponding 27 relations for T_(uv).

It should be noted that the method for selecting, by the second device, a plurality of elements from the braid group B_(n) to generate a subgroup Q is the same as the method for selecting, by the first device, a plurality of elements from the braid group B_(n) to generate the subgroup P, which will note be described herein.

Based on this, the subgroup P and the subgroup Q are the same or different.

S23, the second device selects a plurality of elements from the braid group B_(n) to generate a subgroup Q, and selects an element y from the subgroup Q as a private key, where y is defined as y=f_(y)(σ₁, σ₂, . . . , σ_(n−1));

where y is a product of a power (integral exponent) of σ₁, σ₂, . . . , σ_(n−1), and can be represented as follows: y=f_(y)(σ₁, σ₂, . . . , σ_(n−1)).

It should be noted that the exponent of braid group B_(n) is n≥6.

It should be understood that when n=6, the value range of u is 1, then, the braid group B_(n) contains two subgroups isomorphic to the direct product of two free groups with rank 2, the two subgroups are L₁i=<σ₁ ², σ₂ ², σ₄ ², σ₅ ²>, that is, the two subgroups are the same. Subgroup M₁ can be generated according to elements of subgroup L₁, M₁=<σ₁ ², σ₄ ², σ₂ ², σ₅ ²,S_(1v),T_(1v),>, and v=1,2, . . . , 27. In such case, since only subgroup M₁ is generated, the first device can select the subgroup M₁ as the subgroup P, similarly, the second device can also select the subgroup M₁ as the subgroup Q.

It should be understood that when n=7, the value range of u is 1 or 2, then the brain group B_(n) contains two subgroups isomorphic to the direct product of two free groups with rank 2, the two subgroups are L₁ and L₂, with L₁=<σ₁ ², σ₂ ², σ₄ ², σ₅ ²> and L₂=<σ₂ ², σ₃ ², σ₅ ², σ₆ ²>. The subgroup M₁, with M₁=<σ₁ ², σ₄ ², σ₂ ², σ₅ ²S_(1v), T_(1v)>, can be generated according to the elements of the subgroup L₁, and the subgroup M₂, with M₂=<σ₂ ², σ₅ ², σ₃ ², σ₆ ², S_(2v),T_(2v)>, can be generated according to the elements of the subgroup L₂. In such case, since two subgroups M₁ and M₂ are generated, the first device can select the subgroup M₁ or the subgroup M₂ as the subgroup P, similarly, the second device can also select the subgroup M₁ or the subgroup M₂ as the subgroup Q.

It should be understood that when n=8, the value range of u is 1, 2, or 3, then the brain group B_(n) contains multiple subgroups isomorphic to the direct product of two free groups with rank 2, the multiple subgroups are L₁, L₂, and L₃, with L₁=<σ₁ ², σ₂ ², σ₄ ², σ₅ ²>, L₂=<σ₂ ², σ₃ ², σ₅ ², σ₆ ²>, and L₃=<σ₃ ², σ₄ ², σ₆ ², σ₇ ²>. The subgroup M₁, with M₁=<σ₁ ², σ₄ ², σ₂ ², σ₅ ², S_(1v),T_(1v)>, can be generated according to the elements of the subgroup L₁, the subgroup M₂, M₂=<σ₂ ², σ₅ ², σ₃ ², σ₆ ²,S_(2v),T_(2v)>, can be generated according to the elements of the subgroup L₂, and the subgroup M₃, with M₃=<σ₃ ², σ₆ ², σ₄ ², σ₇ ²,S_(3v),T_(3v)>, can be generated according to the elements of the subgroup L₃. In such case, since subgroups M₁, M₂, and M₃ are generated, the first device can select the subgroup M₁, the subgroup M₂, or the subgroup M₃, as the subgroup P, similarly, the second device can also select the subgroup M₁, the subgroup M₂, or the subgroup M₃, as the subgroup Q.

By analogy, when the value of n is greater, and the value range of u is correspondingly greater, then, the braid group B_(n) contains more subgroups L_(u) isomorphic to the direct product of two free groups with rank 2; and different subgroups M_(u) can be generated according to the different subgroups L_(u). In such case, because multiple subgroups M_(u) are generated, the first device can select any one of the subgroups M_(u) as the subgroup P, the second device can select any one of the subgroups M_(u) as the subgroup Q. It is obvious that the first device and the second device can select the same subgroup M_(u) as the subgroup P and the subgroup Q, or select the different subgroups M_(u) as the subgroup P and the subgroup Q, which are not particularly limited herein.

On such basis, the first device selects one element x from the subgroup P as the first private key x, that is, the first device selects one element x from the subgroup M_(u) as the first private key x. The second device selects one element from the subgroup Q as the second private key y, that is, the second device selects one element from the subgroup M_(u) as the second private key y.

S25, the first device sends x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x to the second device, where x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x are calculated from the first private key and each element of the public key.

S25, the second device sends y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y to the first device, where y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y are calculated from the second private key and each element of the public key.

S27, after receiving y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y sent from the second device, the first device replaces all occurrences of ak in the first private key of the first device with y⁻¹σ_(k)y to obtain f_(x)(y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y)=y⁻¹xy, and calculates to obtain the shared key x⁻¹y⁻¹xy.

S28, after receiving x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x sent from the first device, the second device replaces all occurrences of σ_(k) in the second private key of the second device with x⁻¹σ_(k)x to obtain f_(y)(x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x)=x⁻¹yx, and calculates to obtain the shared key x⁻¹y⁻¹xy.

Optionally, the subgroup P and the subgroup Q are both Mihailova subgroups having unsolvable subgroup membership problems.

In view of this, it can be understood that, the subgroup P and the subgroup Q are both Mihailova subgroups, which means, as the subgroup of the subgroup P and the subgroup Q, the subgroup M_(u) is a Mihailova subgroup, and all the subgroups M_(u) have unsolvable subgroup membership problems.

It should be noted that the membership problem or the generalized word problem of the subgroup is: for a given subgroup H of a generating set X of the group G, to determine whether any element g in the group G can be represented by a word on X, that is, to determine whether g is an element of the subgroup H.

If a third party tries to attack the public key cryptographic protocol established by the first device and the second device, the third part may launch the attack by using a public information <σ₁, σ₂, . . . , σ_(n−1)> of the first device and the second device and the {x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x} and {(y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y} acquired through a channel.

If the third party can obtain elements s and t of the braid group B_(n), let s⁻¹σ_(i)s=y⁻¹σ_(i)y, and t⁻¹σ_(i)t=x⁻¹σ_(i)x, where i=1, 2, . . . , n−1;

defining s=cy, t=dx, then s⁻¹σ_(i)s=(cy)⁻¹σ_(i)cy=y⁻¹c⁻¹σ_(i)cy=y⁻¹σ_(i)y, where i=1, 2, . . . , n−1; and then c⁻¹σ_(i)c=σ_(i), where i=1, 2, . . . , n−1. That is, multiplication between c and each one of σ_(i) is commutative.

Due that B_(n) is generated from σ₁, σ₂, . . . , σ_(n−1), and c is an element of a center of B_(n), and the center of B_(n) is an infinite cyclic subgroups

Δ²

of B_(n) generated by Δ², where Δ=σ₁σ₂ . . . σ_(n−1)σ₁σ₂ . . . σ_(n−2) . . . σ₁σ₂σ₃σ₁σ₂σ₁, therefore, c is an element of

Δ²

. Similarly, d is also an element of

Δ²

.

Because

Δ²

is the center of B_(n), and the subgroup of the quotient group B_(n)/

Δ²

generated from σ_(i) ²

Δ²

, σ_(i+1) ²

Δ²

, σ_(i+3) ²

Δ²

and σ_(i+4) ²

Δ²

are isomorphic to the subgroup of B_(n) generated from σ_(i) ², σ_(i+1) ²σ_(i+3) ², and σ_(i+4) ², thereby also being free groups with rank 2. Therefore, the sub-quotient group (M_(i)

Δ²

)/

Δ²

is also Mihailova subgroup of the quotient group B_(n)/

Δ²

. Thus, the subgroup membership problem of (M_(i)

Δ²

)/

Δ²

is also unsolvable.

Therefore, if a third-party attacker can obtain the elements s and t of B_(n), such that s⁻¹σ_(i)s=y⁻¹σ_(i)y, and t⁻¹σ_(i)t=x⁻¹σ_(i)t, where i=1, 2, . . . , n−1. Then, s=cy, t=dx, with c, d∈

Δ²

. Therefore, in the quotient group B_(n) /

Δ²

, s

Δ²

=y

Δ²

and t

Δ²

=x

Δ²

. That is, the third-party attacker has to find the elements y

Δ²

and x

Δ²

of the Mihailova subgroup (M_(i)

Δ²

)/

Δ²

from the quotient group B_(n)/

Δ²

. However, since the subgroup membership problem of (M_(i)

Δ²

)/

Δ²

is unsolvable, therefore, there is no algorithm that allows the attacker to successfully obtain y

Δ²

and x

Δ²

, neither is there any algorithm that enable the attackers to successfully obtain the required s and t.

In the method for establishing a shared key according to the above embodiments of the application, the braid group B_(n) with the index n is determined by the first device and the second device as the public keys of both parties. A subgroup is selected from the braid group B_(n) by each of the first device and the second device, and one element is selected by each of the first device and the second device from the subgroup as the private key thereof. Then the respective private key and each element of the public key are conjugated, the respective conjugate results of both parties are sent to each other, and the shared key is calculated according to the conjugate results. Since the introduced subgroup membership problem of is unsolvable, the security of the method for establishing the shared key is fully proven theoretically, and such method is free of various attacks, such as quantum computing attacks.

It should be understood that the sequence numbers of each step in the above embodiments do not mean the execution order. The execution order of each process should be determined by its function and internal logic, and should not constitute any limitation to the implementation process of the embodiment of the present application.

An embodiment of the present application further provides an apparatus for establishing a shared key, as shown in FIG. 3, being applied to a first device. The apparatus 10 for establishing the shared key comprises: a processing unit 11, and a transceiver unit 12.

The processing unit 11 is configured for determining a braid group B_(n) having an index n as a public key;

where B_(n)=<σ₁, σ₂, . . . , σ_(n−1)|σ_(i)σ_(j)=σ_(j)σ_(i), |i-j|≥2, σ_(i)σ_(i+1)σ_(i)=σ_(i+1)σ_(i)σ_(i+1), 1≤i≤n−2>, each element in the braid group B_(n) is represented by a word over a generating set {σ₁, σ₂, . . . , σ_(n−1)} of B_(n), and the word has a unique normal form, n≥6, and n is an integer.

The processing unit 11 is further configured for selecting a plurality of elements from the braid group B_(n) to generate a subgroup P, and selecting an element x from the subgroup P as a private key, where x is defined as a word x=f_(x)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)};

The transceiver unit 12 is configured for receiving {y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y)} sent from a second device, where the second device is a device configured for establishing a shared key together with the first device, a plurality of elements are selected by the second device from the braid group B_(n) to generate a subgroup Q, an element y is selected from the subgroup Q as a second private key, y⁻¹σ_(k)y is calculated according to the second private key and each element of the public key, and where y is defined as a word y=f_(y)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)}, where k=1,2, . . . , n−1.

The transceiver 12 is configured for sending {x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x}, which is calculated according to the first private key and each element of the public key, to the second device, to allow the second device to replace all occurrences of σ_(k) in the second private key y with x⁻¹σ_(k)x to obtain f_(y)(x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x)=x⁻¹yx and to obtain the shared key x⁻¹y⁻¹xy by calculation.

The processing unit is further configured for replacing all occurrences of σ_(k) in the first private key of the first device with y⁻¹σ_(k)y to obtain f_(x)(y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y)=y⁻¹xy and calculating to obtain the shared key x⁻¹y⁻¹xy.

Optionally, the processing unit is configured for selecting a plurality of elements from the braid group B_(n) to generate a subgroup P, comprising:

defining that braid group B_(n) comprises a subgroup L_(u), with the subgroup L_(u) being isomorphic to a direct product of two free groups of rank 2, and being defined by L_(u)=<σ_(u) ², σ_(u+1) ², σ_(u+3) ², σ_(u+4) ²>, where u=1, 2, . . . , n−5.

generating a subgroup M_(u) according to elements of a subgroup L_(u), where M_(u)=<σ_(u) ², σ_(u+3) ²,σ_(u+1) ²σ_(u+4) ²,S_(uv),T_(uv)>; v=1, 2, . . . , 27; and

selecting one of the subgroup M_(u) as the subgroup P.

When u=1, 2, . . . , n−5, the 27 relations for S_(uv) are as follows:

S_(u, 1):  (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻¹⁴  σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴S_(u, 2):  (σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴α_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻¹⁴  σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴S_(u, 3):  (σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²  σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶

S_(u, 4):  (σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²  σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸S_(u, 5):  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²  σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰S_(u, 6):  (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²  σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²

S_(u, 7) : (σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴S_(u, 8) : (σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶S_(u, 9) : (σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸

S_(u, 10) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰S_(u, 11) : (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²  σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²S_(u, 12) : (σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻¹⁸  σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴

S_(u, 13) : (σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶  σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶S_(u, 14) : (σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴  σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸

S_(u, 15):  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²  σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰S_(u, 16):  (σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁴  σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²⁰σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰S_(u, 17):  (σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²  σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)²⁰

S_(u, 18) : (σ_(i + 1)⁻⁴σ_(i)⁻¹²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹²σ_(i + 1)⁴σ_(i)⁻¹²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹²  (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³  (σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰)³  (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)⁹)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹²σ_(i + 1)⁴σ_(i)⁻¹²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹²)³)(σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰)⁹(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³)σ_(i + 1)⁻⁴σ_(i)⁻¹²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹²σ_(i + 1)⁴σ_(i)⁻¹²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹²S_(u, 19) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²  σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴σ_(i + 1)⁻⁴  σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻²  σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻¹⁶  σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i + 1)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸

S_(u, 21):  (σ?σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²       σ_(i)¹⁸(σ?σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)³       σ_(i + 1)⁻⁴?σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ?σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²       σ_(i + 1)²σ_(i)⁶?σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴      (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶ σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²?σ_(i)¹⁶?σ_(i)⁻²σ_(i + 1)²σ_(i)⁻¹⁶)³)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁻¹⁴σ?σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ₁¹⁴σ?σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)³σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i + 1)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶ ?indicates text missing or illegible when filed

S_(u, 22) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁴  σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸  σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁴σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁴σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸

S_(u.23):  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁵σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i) ⁼ ⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²  σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁵)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁵σ_(i + 1)⁻⁴σ_(i + 1)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁵σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸S_(u.24):  ( σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴  σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²  σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶  σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁶)⁻¹  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁶σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶  σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²  σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴  σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸

S_(u, 25):(σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁷σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)¹σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i + 1)²σ_(i)⁶σ_(i)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰(σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁷)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁷σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i + 1)²σ_(i)⁶(σ_(i)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁷σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸S_(u, 26):(σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁸(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁸)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i + 1)²σ_(i)¹⁴)⁸ σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³ (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i + 1)²σ_(i)¹⁶)⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)² σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i + 1)²σ_(i)¹⁸ S_(u, 27):(σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁹(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁹)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i + 1)²σ_(i)¹⁴)⁸ σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³ (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i + 1)²σ_(i)¹⁶)⁹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)² σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i + 1)²σ_(i)¹⁸

In the 27 relations for S_(uv), σ_(u) is replaced by σ_(u+3), and σ_(u+1) is replaced by σ_(u+4), to obtain corresponding 27 relations for T_(uv).

The apparatus for establishing a shared key provided by the embodiments of the present application, has the same beneficial effects as those of the method for establishing a shared key, which would not be repeated herein.

An embodiment of the present application further provides a computer device. As shown in FIG. 4, the computer device 40 includes: a memory 41, a processor 42, and a computer program 43 stored in the memory and configured for running on the processor. The processor 42 is configured for implementing the above-mentioned method for establishing a shared key when executing the computer program 43, for example, steps 21-step 28 as shown in FIG. 2. Or alternatively, the processor 42 is configured for implementing the functions of the respective modules/units in the above-mentioned apparatus embodiments when executing the above computer program, such as the functions of the units 11-12 as shown in FIG. 3.

Exemplarily, the computer program 43 may be divided into one or more modules/units, and the one or more modules/units are stored in the memory 41 and executed by the processor 42 to implement the present application. The one or more modules/units may be a series of computer program segments capable of completing specific functions, and the program segments are configured to describe the execution process of the computer program in the computer device 40.

The computer device 40 may be a computing device, such as a server, a desktop computer, a notebook, a palmtop computer, and a cloud server. The computer device may include, but is not limited to, a processor 41 and a memory 42. Those skilled in the art can understand that FIG. 3 is only an example of the computer device 40, and does not constitute a limitation on the computer device 40. It may include more or less parts than those shown in the figure, or a combination of certain parts, or different parts. For example, the terminal device may also include input and output devices, network access devices, buses, etc.

The memory 41 may be an internal storage unit of the computer device 40, such as a hard disk or a memory of the computer device 40. The memory 41 may also be an external storage device of the computer device 40, such as a plug-in hard disk, a smart memory card (SMC), and a secure digital (SD) card, or a flash card equipped on the computer device 40. Further, the memory 41 may also include both an internal storage unit of the computer device 40 and an external storage device. The memory 41 is configured to store the computer program 43 and other programs and data required by the computer device. The memory 41 can also be configured to temporarily store data that has been output or will be output.

The so-called processor 42 may be a central processing unit (CPU), and may also be other general-purpose processors, digital signal processors (DSP), application specific integrated circuits (ASIC), field-programmable gate arrays (FPGA), or other programmable logic devices, discrete gates, transistor logic devices, discrete hardware components, etc. The general-purpose processor may be a microprocessor or the processor may also be any conventional processor or the like.

Those skilled in the art can clearly understand that for the convenience and conciseness of the description, the division of the above functional units and modules is only used as an example. In actual applications, the above functions can be allocated to different functional units and modules, that is, the internal structure of the device can be divided into different functional units or modules, so as to realize all or parts of the above mentioned functions. The functional units or modules in embodiments of the present application may also be integrated in one processing unit, or each unit exists alone physically, or two or more units are integrated into one unit. The above integrated unit may be implemented in the form of hardware as well as in the form of software. Moreover, specific names of the different functional units or modules are only for the purpose of facilitating the distinguishing therebetween, rather than limiting the protection scope of the present application. Specific working process of the units or modules in the above system may refer to the processes corresponding to the above-mentioned method embodiments, which would not be repeated hereinbelow.

In the above-mentioned embodiments, the description of each embodiment has its own emphasis. For parts that are not described in detail or recorded in an embodiment, reference may be made to related descriptions of other embodiments.

The units described as separate parts may be or may not be physically separated, and the parts displayed as units may be or may not be physical units, that is, the parts may be located in one place, or may be distributed on multiple network units. Some or all of the units may be selected according to actual needs to achieve the objectives of the solutions of the embodiments.

If the integrated module/unit is implemented in the form of a software functional unit and sold or used as an independent product, it can be stored in a computer-readable storage medium. Based on this understanding, the present application implements all or part of the processes in the method as described in the above-mentioned embodiments, and can also be implemented by instructing relevant hardware through computer-readable instructions, and the computer-readable instructions can be stored in a computer-readable storage medium.

Those skilled in the art can understand that all or part of the processes in the method as described in above-mentioned embodiments can be implemented by instructing relevant hardware through computer-readable instructions. The computer-readable instructions can be stored in a non-volatile computer-readable storage medium, when the computer-readable instructions are executed, they may include the processes of the above-mentioned method embodiments. Any reference to the memory, storage, database, or other media used in the embodiments provided in the present application may include a non-volatile and/or volatile memory. The non-volatile memory may include: a read-only memory (ROM), a programmable ROM (PROM), an electrically programmable ROM (EPROM), an electrically erasable programmable ROM (EEPROM), or a flash memory. The volatile memory may include: a random access memory (RAM) or an external cache memory. As an illustration but not a limitation, the RAM is available in many forms, such as a static RAM (SRAM), a dynamic RAM (DRAM), a synchronous DRAM (SDRAM), a double data rate SDRAM (DDRSDRAM), an enhanced SDRAM (ESDRAM), a synchronous chain Channel (Synchlink) DRAM (SLDRAM), a memory bus (Rambus) direct RAM (RDRAM), a direct memory bus dynamic RAM (DRDRAM), and a memory bus dynamic RAM (RDRAM), etc.

An embodiment of the present application also provides an apparatus for establishing a shared key, including: at least one processor and an interface circuit. The interface circuit is configured for allowing the at least one processor to acquire a program or a command from at least one processor. The at least one processor is configured for executing the program or the command such that the apparatus for establishing a shared key executes above method for establishing a shared key.

An embodiment of the present application also provides a terminal device, including the above-mentioned apparatus for establishing a shared key.

An embodiment of the present application provides a computer program product, including a computer program, and the computer program is configured for executing the method for establishing a shared key as described above, when being executed by a processor.

An embodiment of the present application also provides a chip system, which is applied to a lidar. The chip system includes: one or more interface circuits and one or more processors; the interface circuits and the processors are interconnected by wires; the processor is used to execute the above method of establishing a shared key.

The embodiment of the present application also provides a computer-readable storage medium, the computer-readable storage medium stores a computer program, and when the computer program is configured for implementing the above method for establishing a shared key when being executed by a processor.

The above-mentioned embodiments are only used to illustrate the technical solutions of the present application, not to limit them. Although the present application has been described in detail with reference to the foregoing embodiments, those skilled in the art should understand that the foregoing technical solutions recorded in the embodiments can be modified, or some of the technical features are equivalently replaced. These modifications or replacements do not make the essence of the corresponding technical solutions deviate from the spirit and scope of the technical solutions of the embodiments of the application, and should be included in within the protection scope of the present application. 

1. A method for establishing a shared key, comprising: determining, by a first device, a braid group B_(n) having an index n as a public key; wherein, B_(n)=<σ₁, σ₂, . . . , σ_(n−1)|σ_(i)σ_(j)=σ_(j)σ_(i), |i-j|≥2, σ_(i)σ_(i+1)σ_(i)=σ_(i+1)σ_(i)σ_(i+1), 1≤i≤n−2>, each element in the braid group B_(n) is represented by a word over a generating set {σ₁, σ₂, . . . , σ_(n−1)} of B_(n), and the word has a unique normal form, n≥6, and n≥6, is an integer; selecting, by the first device, a plurality of elements from the braid group B_(n) to generate a subgroup P, and selecting an element x from the subgroup P as a private key, wherein x is defined as a word x=f_(x)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)}; receiving, by the first device, {y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y} sent from a second device, wherein the second device is a device configured for establishing a shared key together with the first device, a plurality of elements are selected by the second device from the braid group B_(n) to generate a subgroup Q, an element y is selected from the subgroup Q as a second private key, y⁻¹σ_(k)y is calculated according to the second private key and each element of the public key, and wherein y is defined as a word y=f_(y)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)}, where k=1,2, . . . , n−1; sending, by the first device, {x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x}, which is calculated according to the first private key and each element of the public key, to the second device, to allow the second device to replace all occurrences of σ_(k) in the second private key y with x⁻¹σ_(k)x to obtain f_(y)(x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x)=x⁻¹yx and to obtain the shared key x⁻¹y⁻¹xy by calculation; and replacing all occurrences of ak in the first private key of the first device with y⁻¹σ_(k)y to obtain f_(x)(y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y)=y⁻¹xy, and calculating to obtain the shared key x⁻¹y⁻¹xy.
 2. The method for establishing a shared key according to claim 1, wherein the step of selecting, by the first device, a plurality of elements from the braid group B_(n) to generate a subgroup P comprises: defining that the braid group B_(n) comprises a subgroup L_(u), with the subgroup L_(u) being isomorphic to a direct product of two free groups of rank 2, and being defined by L_(u)=<σ_(u) ², σ_(u+1) ², σ_(u+3) ², σ₊₄ ²>, where u=1, 2, . . . , n−5; generating a subgroup M_(u) according to elements of a subgroup L_(u), where M_(u)=<σ_(u) ², σ_(u+3) ²,σ_(u+1) ²σ_(u+4) ²,S_(uv),T_(uv)>; v=1, 2, . . . , 27; and selecting one of the subgroup M_(u) as the subgroup P.
 3. The method for establishing a shared key according to claim 2, wherein when u=1, 2, . . . , n−5, the 27 relations for S_(uv) are as follows: S_(u, 1) : (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ?σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ?σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ?S_(u, 2) : (σ?σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ?σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²?S_(u, 3):(σ_(i + 1)⁻⁴σ_(i)⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ??indicates text missing or illegible when filed S_(u, 4) : (σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁸S_(u, 5) : (σ_(i + 1)⁻⁴σ₁⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰S_(u, 6) : (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)² S_(u, 7) : (σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴S_(u, 8) : (σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁻¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶S_(u, 9) : (σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸ S_(u, 10) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰S_(u, 11) : (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²    σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²S_(u, 12) : (σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴    σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴ S_(u, 13) : (σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶S_(u, 14) : (σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²i + σ_(i + 1)²σ_(i)¹⁸)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸S_(u, 15) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰ S_(u, 16):  (σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i )⁻² σ_(i + 1)²σ_(i)⁻¹⁴)⁻¹ σ_(i + 1)⁻⁴σ_(i)⁻¹⁴ σ_(i + 1)² σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻² σ_(i + 1)²σ_(i)¹⁴σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰ S_(u, 17):  (?σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻² σ_(i + 1)²σ_(i)²⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²?)⁻¹ σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶? S_(u, 18) : (σ_(i + 1)⁻⁴σ_(i + 1)⁻¹²σ_(i + 1)²σ_(i + 1)⁻²σ_(i)¹²σ_(i + 1)⁴σ_(i)⁻¹²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹²(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²?(σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰)³(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²?)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹²?σ_(i)¹²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹²?)(σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰?(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²?)³)(σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰?(σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³)??indicates text missing or illegible when filed S_(u, 19) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁻¹σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸ S_(u, 20) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)²σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)²)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)²σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)²σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸ S_(u, 21) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)³  σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)³)⁻¹  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)³  σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)³σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸S_(u, 22) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁴  σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁴)⁻¹  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁴  σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁴σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸ S_(u, 23) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ₁²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁵σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁵)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁵ σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁵σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸ S_(u, 24) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ₁²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)⁻²σ_(i)¹⁶)⁶)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁶ σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰(σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸   ? : (?(?)⁷?)⁻¹(?)⁷?(?)⁷?   ? : (?(?)⁸(?(?)⁸)⁻¹(?)⁸?(?)³(?)??indicates text missing or illegible when filed S_(u, 27) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸ (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁹ (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³ (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁹)⁻¹ (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁹ σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸ (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³ (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸
 4. The method for establishing a shared key according to claim 3, wherein in the 27 relations for S_(uv), σ_(u) is replaced by σ_(u+3), and σ_(u+1), is replaced by σ₊₄, to obtain corresponding 27 relations for T_(uv).
 5. The method for establishing a shared key according to claim 1, wherein the subgroup P and the subgroup Q are both Mihailova subgroups having unsolvable subgroup membership problems.
 6. (canceled)
 7. (canceled)
 8. (canceled)
 9. (canceled)
 10. (canceled)
 11. A computer device, comprising: a memory, a processor, and a computer program stored in the memory and configured for running on the processor, wherein the processor is configured for implementing the following steps when executing the computer program: determining, by a first device, a braid group B_(n) having an index n as a public key; wherein, B_(n)=<σ₁, σ₂, . . . , σ_(n−1)|σ_(i)σ_(j)=σ_(j)σ_(i), |i-j|≥2, σ_(i)σ_(i+1)σ_(i)=σ_(i+1)σ_(i)σ_(i+1), 1≤i≤n−2>, each element in the braid group B_(n) is represented by a word over a generating set {σ₁, σ₂, . . . , σ_(n−1)} of B_(n), and the word has a unique normal form, n≥6, and n is an integer; selecting, by the first device, a plurality of elements from the braid group B_(n) to generate a subgroup P, and selecting an element x from the subgroup P as a private key, wherein x is defined as a word x=f_(x)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)}; receiving, by the first device, {y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y)} sent from a second device, wherein the second device is a device configured for establishing a shared key together with the first device, a plurality of elements are selected by the second device from the braid group B_(n) to generate a subgroup Q, an element y is selected from the subgroup Q as a second private key, y⁻¹σ_(k)y is calculated according to the second private key and each element of the public key, and wherein y is defined as a word y=f_(y)(σ₁, σ₂, . . . , σ_(n−1)) over {σ₁, σ₂, . . . , σ_(n−1)}, where k=1,2, . . . , n−1; sending, by the first device, {x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x}, which is calculated according to the first private key and each element of the public key, to the second device, to allow the second device to replace all occurrences of σ_(k) in the second private key y with x⁻¹σ_(k)x to obtain f_(y)(x⁻¹σ₁x,x⁻¹σ₂x, . . . , x⁻¹σ_(n−1)x)=x⁻¹xy and to obtain the shared key x⁻¹y⁻¹xy by calculation; and replacing all occurrences of σ_(k) in the first private key of the first device with y⁻¹σ_(k)y to obtain f_(x)(y⁻¹σ₁y,y⁻¹σ₂y, . . . , y⁻¹σ_(n−1)y)=y⁻¹xy, and calculating to obtain the shared key x⁻¹y^(−l)xy.
 12. The computer device according to claim 11, wherein the step of selecting, by the first device, a plurality of elements from the braid group B_(n) to generate a subgroup P comprises: defining that the braid group B_(n) comprises a subgroup L_(u), with the subgroup L_(u) being isomorphic to a direct product of two free groups of rank 2, and being defined by L_(u)=<σ_(u) ², σ_(u+1) ², σ_(u+3) ², σ_(u+4) ²>, where u=1, 2, . . . , n−5; generating a subgroup M_(u) according to elements of a subgroup L_(u), where M_(u)=<σ_(u) ², σ_(u+3) ²,σ_(u+1) ², σ_(u+4) ²,S_(uv),T_(uv)>; v=1, 2, . . . , 27; and selecting one of the subgroup M_(u) as the subgroup P.
 13. The computer device according to claim 12, wherein when u=1, 2, . . . , n−5, the 27 relations for S_(uv) are as follows: S_(u, 1) : (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²  σ_(i + 1)²σ_(i)²σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴ σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴S_(u, 2) : (σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴σ_(i + 1)⁻⁴  σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴S_(u, 3) : (σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴  σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶   ? : (?)⁻¹(?)¹⁰?   ? : (?)⁻¹(?)¹⁰?   ? : (?)⁻¹? ?indicates text missing or illegible when filed S_(u, 7) : (σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴ (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹ σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶ σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴S_(u, 8) : (σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶ (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹ σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶ σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶S_(u, 9) : (σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸ (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)¹⁰)⁻¹ σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶ σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸ S u , 10 : ( σ i + 1 - 4 ⁢ σ - 10 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 10 ⁢ σ i + 1 4 ⁢ σ - 2 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 10 ⁢   ( σ i + 1 - 4 ⁢ σ - 16 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 16 ) 16 ) - 1 ⁢ σ i + 1 - 2 ⁢ σ 10 ⁢ σ i + 1 - 4 ⁢ σ - 16 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 10 ⁢ σ i + 1 4 ⁢ σ - 10 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 16 ⁢ σ i + 1 - 4 ⁢ σ - 10 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 10 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 10 ⁢ ⁢ S u , 11 : ( σ i + 1 - 4 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 2 ⁢ σ i + 1 4 ⁢ σ - 2 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ 18 ⁢   σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ) - 1 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ⁢ σ i + 1 - 4 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 2 ⁢ σ i + 1 4 ⁢ σ - 2 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ ⁢ S u , 12 : ( σ i + 1 - 4 ⁢ σ - 4 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 4 ⁢ σ i + 1 4 ⁢ σ - 4 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 4 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢   σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ) - 1 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ⁢ σ i + 1 - 4 ⁢ σ - 4 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 4 ⁢ σ i + 1 4 ⁢ σ - 4 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 4 ⁢ ⁢ S u , 13 : ( σ i + 1 - 4 ⁢ σ - 6 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 6 ⁢ σ i + 1 4 ⁢ σ - 6 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 6 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢   σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ) - 1 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ⁢ σ i + 1 - 4 ⁢ σ - 6 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 6 ⁢ σ i + 1 4 ⁢ σ - 6 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 6 S_(u, 14) : (σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²  σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹  σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸S_(u, 15) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰  σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸)⁻¹  σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰S_(u, 16) : (σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²  σ_(i)²⁰σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁻¹  σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴σ_(i + 1)⁻⁴σ_(i)⁻²⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²⁰σ_(i + 1)⁴σ_(i)⁻²⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²⁰   S? : ?   S? : ?   S? : ? ?indicates text missing or illegible when filed S u , 20 : ( σ i + 1 - 4 ⁢σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ⁢   ( σ i + 1 - 4 ⁢ σ - 14 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 14 ⁢ σ i + 1 4 ⁢ σ - 14 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 14 ) 2 ⁢ σ i + 1 - 4 ⁢ σ - 6 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 8 ⁢ σ i + 1 4 ⁢ σ - 8 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 8 ⁢ σ i + 1 - 4 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢σ 2 ⁢   σ i + 1 - 2 ⁢ σ 2 ⁢ σ i + 1 4 ⁢ σ - 2 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢σ 2 ⁡ ( σ i + 1 - 4 ⁢ σ - 16 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢   σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 16 ) 2 ) - 1 ⁢ ⁢ ( σ i + 1 - 4 ⁢σ - 14 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 14 ⁢ σ i + 1 4 ⁢ σ - 14 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 14 ) 2 ⁢ σ i + 1 - 4 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 2 ⁢ σ i + 1 4 ⁢ σ - 2 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 4 ⁢ σ - 8 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 8 ⁢ σ i + 1 4 ⁢ σ - 8 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 8 ⁡ ( σ i + 1 - 4 ⁢ σ - 16 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 16 ) 2 ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ - 18 ⁢ ⁢ S u , 21 : ( σ i + 1 - 4 ⁢σ - 18 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 18 ⁢   ( σ i + 1 - 4 ⁢ σ - 14 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 14 ⁢ σ i + 1 4 ⁢ σ - 14 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 14 ) 3 ⁢ σ i + 1 - 4 ⁢ σ - 6 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 8 ⁢ σ i + 1 4 ⁢ σ - 8 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 8 ⁢ σ i + 1 - 4 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢σ 2 ⁢   σ i + 1 - 2 ⁢ σ 2 ⁢ σ i + 1 4 ⁢ σ - 2 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢σ 2 ⁡ ( σ i + 1 - 4 ⁢ σ - 16 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢   σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 16 ) 3 ) - 1 ⁢ ⁢ ( σ i + 1 - 4 ⁢σ - 14 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 14 ⁢ σ i + 1 4 ⁢ σ - 14 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 14 ) 3 ⁢ ⁢ σ i + 1 - 4 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 2 ⁢ σ i + 1 4 ⁢ σ - 2 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 4 ⁢ σ - 8 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 8 ⁢ σ i + 1 4 ⁢ σ - 8 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 8 ⁡ ( σ i + 1 - 4 ⁢ σ - 16 ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 16 ⁢ σ i + 1 4 ⁢ σ - 16 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ 16 ) 3 ⁢ ⁢ σ i + 1 - 4 ⁢ σ - 18 ⁢ ⁢ σ i + 1 2 ⁢ σ 2 ⁢ σ i + 1 - 2 ⁢ σ 18 ⁢ σ i + 1 4 ⁢ σ - 18 ⁢ σ i + 1 - 2 ⁢ σ - 2 ⁢ σ i + 1 2 ⁢ σ - 18 ⁢ S_(u, 23) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁵  σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁵)⁻¹  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁵  σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁵σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸S_(u, 24) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁶  σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁴σ_(i + 1)⁴σ_(i)⁻⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁴  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁶)⁻¹  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁶  σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸S_(u, 25) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁷  σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻¹⁰σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁰σ_(i + 1)⁴σ_(i)⁻¹⁰σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁰  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁷)⁻¹  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁷  σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁷σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸S_(u, 26) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁸(  σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁸)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁸σ_(i + 1)⁻⁴σ_(i)⁻⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁶σ_(i + 1)⁴σ_(i)⁻⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁶  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁸  σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸S_(u, 27) : (σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁹(  σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁹)⁻¹(σ_(i + 1)⁻⁴σ_(i)⁻¹⁴σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁴σ_(i + 1)⁴σ_(i)⁻¹⁴σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁴)⁹σ_(i + 1)⁻⁴σ_(i)⁻⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)⁸σ_(i + 1)⁴σ_(i)⁻⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)⁸  (σ_(i + 1)⁻⁴σ_(i)⁻²σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)²σ_(i + 1)⁴σ_(i)⁻²σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)²)³  (σ_(i + 1)⁻⁴σ_(i)⁻¹⁶σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁶σ_(i + 1)⁴σ_(i)⁻¹⁶σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁶)⁹σ_(i + 1)⁻⁴σ_(i)⁻¹⁸σ_(i + 1)²σ_(i)²σ_(i + 1)⁻²σ_(i)¹⁸σ_(i + 1)⁴σ_(i)⁻¹⁸σ_(i + 1)⁻²σ_(i)⁻²σ_(i + 1)²σ_(i)¹⁸   ? ?indicates text missing or illegible when filed
 14. The computer device according to claim 13, wherein in the 27 relations for S_(uv), σ_(u), is replaced by σ_(u+3), and σ_(u−1) is replaced by σ_(u+4), to obtain corresponding 27 relations for T_(uv).
 15. The computer device according to claim 11, wherein the subgroup P and the subgroup Q are both Mihailova subgroups having unsolvable subgroup membership problems.
 16. (canceled)
 17. (canceled)
 18. A computer program product, comprising a computer program which is configured for implementing the method according to claim 1 when being executed by the processor.
 19. (canceled)
 20. (canceled) 